Fechar

@TechReport{BitencourtVazSantCalh:2019:TeMePr,
               author = "Bitencourt Vaz, Renata and Santiago J{\'u}nior, Valdivino 
                         Alexandre and Calheiros, Alan James Peixoto",
                title = "Teste metam{\'o}rfico para Produtos de software relacionados 
                         {\`a} defini{\c{c}}{\~a}o de caracter{\'{\i}}sticas 
                         hidrol{\'o}gicas",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2019",
                 type = "RPQ",
              address = "S{\~a}o Jos{\'e} dos Campos",
                 note = "{Bolsa PIBIC/INPE/CNPq}",
             keywords = "produtos de software.",
             abstract = "O INPE tem v{\'a}rios exemplos de softwares cient{\'{\i}}ficos 
                         usados para, por exemplo, implementar modelos de sistemas de 
                         controle de atitude e {\'o}rbita de sat{\'e}lites, analisar a 
                         radia{\c{c}}{\~a}o X e Gama oriundas de objetos 
                         astrof{\'{\i}}sicos a bordo de plataformas espaciais, estudar a 
                         intera{\c{c}}{\~a}o bidirecional entre a biosfera terrestre e o 
                         sistema clim{\'a}tico, implementar modelos num{\'e}ricos de 
                         previs{\~a}o de tempo assim como modelos de estudos 
                         clim{\'a}ticos, entre outros. {\'E} muito importante que tais 
                         produtos sejam criados com o mais alto n{\'{\i}}vel de qualidade 
                         para que seus resultados possam ser confi{\'a}veis, e, dessa 
                         forma, ser uma fonte adequada para a tomada de decis{\~a}o de 
                         usu{\'a}rios que fazem uso de tais softwares. No entanto, 
                         software cient{\'{\i}}fico {\'e} bastante complexo e garantir a 
                         sua qualidade {\'e} algo bastante desafiador. Teste de software 
                         {\'e} um processo que justamente {\'e} aplicado para aumentar a 
                         qualidade de sistemas de software. Por{\'e}m, determinados tipos 
                         de software, tais como os softwares cient{\'{\i}}ficos, podem 
                         padecer do chamado problema do or{\'a}culo, ou seja, quando 
                         n{\~a}o {\'e} poss{\'{\i}}vel determinar com certeza os 
                         resultados esperados de um conjunto de dados de entrada de teste. 
                         Teste metam{\'o}rfico {\'e} uma t{\'e}cnica que se adequa a 
                         esse tipo de sistema de software. Mas, a principal 
                         limita{\c{c}}{\~a}o do teste metam{\'o}rfico {\'e} a 
                         identifica{\c{c}}{\~a}o das Rela{\c{c}}{\~o}es 
                         Metam{\'o}rficas (RMs), que {\'e} uma tarefa manual que requer 
                         um bom conhecimento do problema em quest{\~a}o. Uma das 
                         alternativas {\'e} tentar identificar, automaticamente, as RMs de 
                         um Sistema Sob Teste. Esse projeto de pesquisa possui dois 
                         objetivos espec{\'{\i}}ficos: a.) investigar a viabilidade de 
                         teste metam{\'o}rfico para realizar o teste de software 
                         cient{\'{\i}}fico, particularmente abordando o problema do 
                         or{\'a}culo de teste de software. Para identificar 
                         automaticamente as RMs ser{\'a} investigada a possibilidade de 
                         uso de Aprendizado Profundo (e.g. Redes Neurais Convolucionais); 
                         b.) aplicar a abordagem proposta a produtos de software 
                         relacionados {\`a} defini{\c{c}}{\~a}o de 
                         caracter{\'{\i}}sticas hidrol{\'o}gicas, com os quais o INPE 
                         v{\^e}m trabalhando, com o intuito de melhorar a qualidade dos 
                         mesmos. Esse relat{\'o}rio apresenta as atividades desenvolvidas 
                         no per{\'{\i}}odo de 01 de agosto de 2018 a 30 de junho de 
                         2019.",
          affiliation = "{Universidade Estadual Paulista (UNESP)} and {Instituto Nacional 
                         de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
             language = "pt",
                pages = "16",
                  ibi = "8JMKD3MGP3W34R/3U3M9MH",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34R/3U3M9MH",
           targetfile = "RENATA BITENCOURT.pdf",
        urlaccessdate = "28 abr. 2024"
}


Fechar